OsPath conversion of Remote.Adb
authorJoey Hess <joeyh@joeyh.name>
Wed, 5 Feb 2025 15:14:45 +0000 (11:14 -0400)
committerJoey Hess <joeyh@joeyh.name>
Wed, 5 Feb 2025 15:16:20 +0000 (11:16 -0400)
commit85fa337f6122dde087619d680e95a411356aa8ce
tree40e1e42216dda90b5c9288e3ffcf50224163b346
parent4dc904bbad361f98549d9a5e3d4f345eb23616f6
OsPath conversion of Remote.Adb

Note that the additional use of System.FilePath.Posix likely fixes a
problem if this were used on windows. The AndroidPath uses / directory
separators. Before this, on windows, \ would have been used.

The change to newtype AndroidPath is only documentation.
Remote/Adb.hs